Specification and Construction of Control Flow Semantics

In this paper we propose a visual language CFSL for specifying control flow semantics of programming languages. We also present a translation from CFSL to graph production systems (GPS) for flow graph construction; that is, any CFSL specification, say for a language L, gives rise to a GPS that constructs from any L-program (represented as an abstract syntax graph) the corresponding flow graph. The specification language is rich enough to capture complex language constructs, including all of Java

De politiek van het subject. Blauwbaard en de verboden kamer

Contains fulltext : 139468.pdf (publisher's version ) (Open Access)18 p

Postmoderne cultuur en representatie

Contains fulltext : 139461.pdf (publisher's version ) (Open Access

The divine Miss M

Item does not contain fulltex

De politiek van het subject. Blauwbaard en de verboden kamer

Contains fulltext : 39198.pdf (publisher's version ) (Closed access